Recovering from Faulty Device Drivers
نویسندگان
چکیده
Several studies (see Swift et. al.’s study of Windows XP in SOSP 2003 and Chou et. al’s study of Linux in SOSP 2001) have attributed a large fraction of operating system failures to device driver flaws. Not only can driver errors cause kernel instability, but these errors can also be exploited for privilege escalation and access to kernel data structures. A search on securityfocus.com shows vulnerabilities and advisories regarding device drivers including dozens of types of errors: buffer overflows, integer overflows, denial of service, and other vulnerabilities.
منابع مشابه
nDriver: Online Driver Replacement for Increasing Operating System Availability
Device drivers are the most unreliable part of an operating system. In this paper, we propose a framework called nDriver. Based on the design diversity concept, it uses multiple implementations of a device driver to survive from driver faults. Once a fault happens in a driver, nDriver can dynamically replace the faulty driver with another implementation, instead of allowing the faulty driver to...
متن کاملSymDrive: Testing Drivers without Devices
Device-driver development and testing is a complex and error-prone undertaking. For example, testing errorhandling code requires simulating faulty inputs from the device. A single driver may support dozens of devices, and a developer may not have access to any of them. Consequently, many Linux driver patches include the comment “compile tested only.” SymDrive is a system for testing Linux and F...
متن کاملRecovering from Modeling Faults in GOLOG
In this paper we study the problem of detection, classiication and recovery from discrepancies due to faulty modeling of controlled systems. We do this by extending the existing Execution Monitoring mechanism for the high-level robot programming language GOLOG De Giacomo et al., 1998] by introducing a revision technique that transforms the faulty underlying situation calculus theory to a theory...
متن کاملPii: S0001-4575(97)00105-x
Nine-hundred and seventy-three police road-accident files describing overtaking accidents were sampled from the headquarters of Nottinghamshire Constabulary, England, for the years 1989–1993. Salient facts were extracted from each case, including the exact manoeuvre involved, the principle explanatory factors, the driver(s) most at fault, and the drivers’ ages. Two kinds of reliability measure ...
متن کاملAGV (automated guided vehicle) robot: Mission and obstacles in design and performance
The AGV (automated guided vehicle) was introduced in UK in 1953 for transporting. But nowadays, due to their high efficiency, flexibility, reliability, safety and system scalability, they are used in various application in industries. In brief, the AGV robot is a system which typically made up of vehicle chassis, embedded controller, motors, drivers, navigation and collision avoidance sensors, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004